System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
211	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
212	Subtyping in Alloy by Emina Torlak Submitted to the Department of Electrical Engineering and Computer Science in Partial Fulfillment of the Requirements for the Degree of Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Programming language theory Data types Object-oriented programming Polymorphism Alloy Z notation Type system Subtype polymorphism Daniel Jackson Software engineering Type theory Computing
213	ChewieFS a JFFS2 like flash filesystem for NetBSD Tam´as T´ oth Department of Software Engineering, Add to Reading List Source URL: blog.netbsd.org Language: English - Date: 2010-11-22 19:53:29 Data management C programming language Embedded Linux C POSIX library Struct Arrays JFFS2 Stat JFFS Computing Flash file systems System software
214	Fusing a Transformation Language with an Open Compiler Karl Trygve Kalleberg 1 Department of Informatics, University of Bergen, P.O. Box 7800, N-5020 BERGEN, Norway Add to Reading List Source URL: www.ii.uib.no Language: English - Date: 2007-10-01 14:24:18 Programming language implementation Compiler construction Transformation languages Stratego/XT ASF+SDF Meta Environment Compiler Program transformation Type system Stratego Computing Software engineering Programming language theory
215	Matching [for] the Lambda Calculus of Objects ? Viviana Bono 1 Dipartimento di Informatica, Universit` a di Torino C.so Svizzera 185, ITorino, Italy e-mail: Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:35:07 Programming language theory Data types Models of computation Program analysis Type system Subtype polymorphism Symbol Lambda calculus Eval Software engineering Type theory Computing
216	Super DLTtape VOL-SER Label Ordering Instructions In order to avoid delays in processing your label order, please follow the ordering instructions outlined below. All required fields must be completed. Add to Reading List Source URL: www.fujifilmusa.com Language: English - Date: 2006-09-14 19:11:48 C Software engineering Programming language theory Computing Nintendo Entertainment System DEC Alpha
217	WEB USER MANUAL 1 The WEB System of Structured Documentation This memo describes how to write programs in the WEB language; and it also includes the full WEB documentation for WEAVE and TANGLE, the programs that read WE Add to Reading List Source URL: www.literateprogramming.com Language: English - Date: 2007-10-09 02:27:21 C programming language Macro programming languages Procedural programming languages Pascal Cross-platform software Comparison of Pascal and C TeX WEB C preprocessor Computing Software engineering Computer programming
218	Towards Active Applications: the Virtual Virtual Machine Approach.∗ F. Ogel, G. Thomas, I. Piumarta, A. Galland†, B. Folliot, C. Baillarguet Regal group, LIP6 - Universit´e Pierre et Marie Curie, 4, place Jussieu, 7 Add to Reading List Source URL: vvm.lip6.fr Language: English - Date: 2004-10-07 15:47:58 Virtual machines Computing platforms Embedded operating systems Real-time operating systems Programming language implementation Kernel Operating system Stack machine Virtual Processor System software Computing Software
219	Limiting Insider Effects Through Micro-Zoning Fred Cohen – CEO – Management Analytics Abstract—This paper focuses on the use of micro-zoning to limit the effects of insider acts. Background is provided on component Add to Reading List Source URL: all.net Language: English - Date: 2013-08-02 22:42:50 Programming language implementation VM Insider Zoning Multilevel security System software Software Virtual machines
220	Evaluation of the HPC Challenge Benchmarks in Virtualized Environments⋆ Piotr Luszczek, Eric Meek, Shirley Moore, Dan Terpstra, Vincent M. Weaver, Jack Dongarra Innovative Computing Laboratory University of Tennessee K Add to Reading List Source URL: icl.cs.utk.edu Language: English - Date: 2011-06-28 09:28:49 Virtual machines Programming language implementation Hyper-V VirtualBox OpenVZ Paravirtualization Xen HPC Challenge Benchmark Comparison of platform virtual machines System software Software VMware

UPDATE